$\forall$$a$,$b$:atom. ($a$ = $b$) $\Leftarrow\!\Rightarrow$ ($\uparrow$eq\_atom($a$; $b$))